snd-it(ff; p; e; i; j) == (fifoS(ff)(i,j,e))  (p(e)) 

latex

Definitions	P  Q, fifoS(ff), f(a)
FDL editor aliases	snd-it